On denotational semantics and domain theory for programming languages:
Robert D. Tennent, The denotational semantics of programming languages, Communications of the ACM 19 8 (1976) 437–453 [doi:10.1145/360303.360308, pdf]
Robert D. Tennent, Denotational semantic, in: Handbook of Logic in Computer Science 3, Oxford University Press (1995) [ISBN:9780198537625[
On bireflective subcategories with ambidextrous adjoints:
Last revised on March 24, 2023 at 17:00:17. See the history of this page for a list of all contributions to it.